home *** CD-ROM | disk | FTP | other *** search

---

/ ftp.ee.pdx.edu / 2014.02.ftp.ee.pdx.edu.tar / ftp.ee.pdx.edu / pub / users / Harry / TheoryOfComp / slides / chapter4 / slide 7.jpeg

< prev

next >

Joint Photographic Experts Group Image  |  2012-11-03  |  242KB  |  850x1099  |  16-bit (53,451 colors)

Labels: bulletin board | monitor | paper | plant | reckoner | sky
OCR: GIVEN ZEGULAR BXPRESSION ANO STRING CAN WE DELIDE WHETHER GERI ERATES W THE LANG AGE R is regu lars expressim AREX that qenel rades string W DECIDABLE MOH KNOW? WE CAN BMILD WE CAN WRITE PROaRAM THAT GIV REG EXPRESSION ANO INPWT M WH ETHER REX AND THAT ALGORITMM M iM ALWAYS HAL THALTING THis SELF EVIDENT SOMETIMES WE DUaHT PROVE I7 CAREFULLY MANY PROWRAM CAN BE PROEN A WAYS MALT THis DOES NOT WM EAN THE HALTING PROBLEM DECIDABLE STRINL GERIERA LANGU generades IDABLE BUILD 2VHL STeN INPUT T7IM ERMINE HALT OPTEN EVDENT SOMET IMES PROBL

---